Mathematical Aspects of Command Relations

Generated topology on infinite sets by ultrafilters

Let $X$ be an infinite set, equipped with a topology $tau$. In this paper we studied the relationship between $tau$, and ultrafilters on $X$. We can discovered, among other thing, some relations of the Robinson's compactness theorem, continuity and the separation axioms. It is important also, aspects of communication between mathematical concepts.

Determining mathematical relations among important characteristics of Fraxinus excelsior (Case study: Research- Training Forest of Kheyroud)

Fuzzy relations, Possibility theory, Measures of uncertainty, Mathematical modeling.

A central aim of educational research in the area of mathematical modeling and applications is to recognize the attainment level of students at defined states of the modeling process. In this paper, we introduce principles of fuzzy sets theory and possibility theory to describe the process of mathematical modeling in the classroom. The main stages of the modeling process are represented as fuzz...

The Elfe System - Verifying mathematical proofs of undergraduate students

ELFE is an interactive system for teaching basic proof methods in discrete mathematics. The user inputs a mathematical text written in fair English which is converted to a special data-structure of first-order formulas. Certain proof obligations implied by this intermediate representation are checked by automated theorem provers which try to either prove the obligations or find countermodels if...

Mathematical Modeling and Analysis of Spark Erosion Machining Parameters of Hastelloy C-276 Using Multiple Regression Analysis (RESEARCH NOTE)

Electrical discharge machining has the capability of machining complicated shapes in electrically conductive materials independent of hardness of the work materials. This present article details the development of multiple regression models for envisaging the material removal rate and roughness of machined surface in electrical discharge machining of Hastelloy C276. The experimental runs are de...